Löwes, Benedikt: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A multiplication operation for the hierarchy of norms

Block, Alexander C., Löwe, Benedikt

Journal:

Annals of Pure and Applied Logic

Year:

2018

Language:

english

File:

PDF, 902 KB

english, 2018

2

[Lecture Notes in Computer Science] Programs, Proofs, Processes Volume 6158 || Haskell before Haskell: Curry’s Contribution to Programming (1946–1950)

Ferreira, Fernando, Löwe, Benedikt, Mayordomo, Elvira, Mendes Gomes, Luís

Year:

2010

Language:

english

File:

PDF, 182 KB

english, 2010

3

Towards a New Epistemology of Mathematics

Bernd Buldt, Benedikt Löwe, Thomas Müller

Journal:

Year:

2008

Language:

english

File:

PDF, 747 KB

english, 2008

4

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || Abstract Geometrical Computation: Turing-Computing Ability and Undecidability

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 184 KB

english, 2005

5

The modal logic of forcing

Hamkins, Joel David, Löwe, Benedikt

Journal:

Transactions of the American Mathematical Society

Year:

2007

Language:

english

File:

PDF, 294 KB

english, 2007

6

History and philosophy of infinity

Larvor, Brendan P., Löwe, Benedikt, Schlimm, Dirk

Journal:

Year:

2015

Language:

english

File:

PDF, 647 KB

english, 2015

7

The Modal Logic of Forcing

Joel David Hamkins and Benedikt Löwe

Journal:

Transactions of the American Mathematical Society

Year:

2008

Language:

english

File:

PDF, 2.58 MB

english, 2008

8

THE MODAL LOGIC OF INNER MODELS

INAMDAR, TANMAY, LÖWE, BENEDIKT

Journal:

Journal of Symbolic Logic

Year:

2016

Language:

english

File:

PDF, 167 KB

english, 2016

9

Playing with mixed strategies on infinite sets

Journal:

International Journal of Game Theory

Year:

2002

Language:

english

File:

PDF, 157 KB

english, 2002

10

Theory of Computation at CiE 2005

S. Barry Cooper, Benedikt Lowe, Peter van Emde Boas

Journal:

Theory of Computing Systems

Year:

2007

Language:

english

File:

PDF, 136 KB

english, 2007

11

A Global Wellordering of Norms Defined via Blackwell Games

Journal:

Year:

2005

Language:

english

File:

PDF, 280 KB

english, 2005

12

From Gödel to Einstein: Computability between logic and physics at CiE 2006

Arnold Beckmann, Edwin Beggs, Benedikt Löwe

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 209 KB

english, 2008

13

Cofinalities of Linear Orders

Moti Gitik, Benedikt Löwe

Journal:

Year:

1999

Language:

english

File:

PDF, 60 KB

english, 1999

14

The Formal Sciences: Their Scope, Their Foundations, and Their Unity

Journal:

Year:

2002

Language:

english

File:

PDF, 58 KB

english, 2002

15

[Lecture Notes in Computer Science] The Nature of Computation. Logic, Algorithms, Applications Volume 7921 || The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models

Bonizzoni, Paola, Brattka, Vasco, Löwe, Benedikt

Year:

2013

Language:

english

File:

PDF, 241 KB

english, 2013

16

Structural connections between a forcing class and its modal logic

Hamkins, Joel David, Leibman, George, Löwe, Benedikt

Journal:

Israel Journal of Mathematics

Year:

2015

Language:

english

File:

PDF, 350 KB

english, 2015

17

Cofinality and measurability of the first three uncountable cardinals

Apter, Arthur W., Jackson, Stephen C., Löwe, Benedikt

Journal:

Transactions of the American Mathematical Society

Year:

2012

Language:

english

File:

PDF, 546 KB

english, 2012

18

Foundations of the Formal Sciences I || The Formal Sciences: Their Scope, Their Foundations, and Their Unity

Journal:

Year:

2002

Language:

english

File:

PDF, 894 KB

english, 2002

19

PHENOMENA, DATA AND THEORIES || Data and phenomena in conceptual modelling

Benedikt Löwe and Thomas Müller

Journal:

Year:

2011

Language:

english

File:

PDF, 1.63 MB

english, 2011

20

[Trends in the History of Science] Cultures of Mathematics and Logic ||

Ju, Shier, Löwe, Benedikt, Müller, Thomas, Xie, Yun

Year:

2016

Language:

english

File:

PDF, 3.34 MB

english, 2016

21

[Trends in the History of Science] Cultures of Mathematics and Logic || What Are Mathematical Cultures?

Ju, Shier, Löwe, Benedikt, Müller, Thomas, Xie, Yun

Year:

2016

Language:

english

File:

PDF, 261 KB

english, 2016

22

[Lecture Notes in Computer Science] New Computational Paradigms Volume 3526 || FM-Representability and Beyond

Cooper, S. Barry, Löwe, Benedikt, Torenvliet, Leen

Year:

2005

Language:

english

File:

PDF, 144 KB

english, 2005

23

Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III || Trees and degrees

Kechris, Alexander S., Lowe, Benedikt, Steel, John R.

Year:

2016

Language:

english

File:

PDF, 790 KB

english, 2016

24

A parametrised choice principle and Martin's conjecture on Blackwell determinacy

Journal:

Mathematical Logic Quarterly

Year:

2006

Language:

english

File:

PDF, 87 KB

english, 2006

25

Preface

Samuel R. Buss, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 235 KB

english, 2009

26

Ultrafilter spaces on the semilattice of partitions

Lorenz Halbeisen, Benedikt Löwe

Journal:

Topology and its Applications

Year:

2001

Language:

english

File:

PDF, 155 KB

english, 2001

27

Computability in Europe 2008

Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe

Journal:

Archive for Mathematical Logic

Year:

2010

Language:

english

File:

PDF, 139 KB

english, 2010

28

Uniform unfolding and analytic measurability

Journal:

Archive for Mathematical Logic

Year:

1998

Language:

english

File:

PDF, 206 KB

english, 1998

29

Turing cones and set theory of the reals

Journal:

Archive for Mathematical Logic

Year:

2001

Language:

english

File:

PDF, 99 KB

english, 2001

30

Computability in Europe 2006

Arnold Beckmann, Benedikt Löwe

Journal:

Theory of Computing Systems

Year:

2008

Language:

english

File:

PDF, 142 KB

english, 2008

31

Computability in Europe 2008

Arnold Beckmann, Benedikt Löwe

Journal:

Theory of Computing Systems

Year:

2011

Language:

english

File:

PDF, 158 KB

english, 2011

32

Preface

Bernd Buldt, Benedikt Löwe, Thomas Müller

Journal:

Year:

2008

Language:

english

File:

PDF, 151 KB

english, 2008

33

Comparing Inductive and Circular Definitions: Parameters, Complexity and Games

Kai-Uwe Küdhnberger, Benedikt Löwe, Michael Möllerfeld, Philip Welch

Journal:

Year:

2005

Language:

english

File:

PDF, 325 KB

english, 2005

34

Data and phenomena in conceptual modelling

Benedikt Löwe, Thomas Müller

Journal:

Year:

2011

Language:

english

File:

PDF, 218 KB

english, 2011

35

Computing and the natural sciences at CiE 2005

Thomas Bäck, Benedikt Löwe

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 166 KB

english, 2007

36

Foreword

Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 226 KB

english, 2009

37

Set-Theoretic Absoluteness and the Revision Theory of Truth

Benedikt Löwe, Philip D. Welch

Journal:

Year:

2001

Language:

english

File:

PDF, 261 KB

english, 2001

38

New Computational Paradigms Volume 693 || Computation Paradigms in Light of Hilbert's Tenth Problem

Cooper, S. Barry, Löwe, Benedikt, Sorbi, Andrea

Year:

2008

Language:

english

File:

PDF, 386 KB

english, 2008

39

[Lecture Notes in Computer Science] How the World Computes Volume 7318 || On the Road to Thinking Machines: Insights and Ideas

Cooper, S. Barry, Dawar, Anuj, Löwe, Benedikt

Year:

2012

Language:

english

File:

PDF, 166 KB

english, 2012

40

[Lecture Notes in Computer Science] Computation and Logic in the Real World Volume 4497 || Computational Complexity of Constraint Satisfaction

Cooper, S. Barry, Löwe, Benedikt, Sorbi, Andrea

Year:

2007

Language:

english

File:

PDF, 350 KB

english, 2007

41

[Lecture Notes in Computer Science] How the World Computes Volume 7318 || A Direct Proof of Wiener’s Theorem

Cooper, S. Barry, Dawar, Anuj, Löwe, Benedikt

Year:

2012

Language:

english

File:

PDF, 192 KB

english, 2012

42

[Lecture Notes in Computer Science] How the World Computes Volume 7318 || Randomness, Computation and Mathematics

Cooper, S. Barry, Dawar, Anuj, Löwe, Benedikt

Year:

2012

Language:

english

File:

PDF, 302 KB

english, 2012

43

Programs, Proofs, Processes

Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo

Journal:

Theory of Computing Systems

Year:

2012

Language:

english

File:

PDF, 181 KB

english, 2012

44

Computability in Europe 2009

Arnold Beckmann, Wolfgang Merkle, Benedikt Löwe

Journal:

Theory of Computing Systems

Year:

2012

Language:

english

File:

PDF, 180 KB

english, 2012

45

Fatal Heyting Algebras and Forcing Persistent Sentences

Leo Esakia, Benedikt Löwe

Journal:

Year:

2012

Language:

english

File:

PDF, 200 KB

english, 2012

46

Computability in Europe 2009

Klaus Ambos-Spies, Arnold Beckmann, Samuel R. Buss, Benedikt Löwe

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 204 KB

english, 2012

47

Computability in Europe 2010

Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 173 KB

english, 2012

48

[Lecture Notes in Computer Science] Logical Approaches to Computational Barriers Volume 3988 || Gödel and the Origins of Computer Science

Beckmann, Arnold, Berger, Ulrich, Löwe, Benedikt, Tucker, John V.

Year:

2006

Language:

english

File:

PDF, 228 KB

english, 2006

49

[Lecture Notes in Computer Science] Mathematical Theory and Computational Practice Volume 5635 || Lower Bounds for Kernelizations and Other Preprocessing Procedures

Ambos-Spies, Klaus, Löwe, Benedikt, Merkle, Wolfgang

Year:

2009

Language:

english

File:

PDF, 231 KB

english, 2009

50

[Lecture Notes in Computer Science] Models of Computation in Context Volume 6735 || Towards an Axiomatic System for Kolmogorov Complexity

Löwe, Benedikt, Normann, Dag, Soskov, Ivan, Soskova, Alexandra

Year:

2011

Language:

english

File:

PDF, 161 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски